21. Godel's theorem: an incomplete guide to its use and abuse
پدیدآورنده : Franzen, Torkel
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Godel's theorem,، Incompleteness theorems
رده :
QA
9
.
65
.
F73
2005
22. Gödel's theorem in focus /
پدیدآورنده : edited by S.G. Shanker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt.,Gödel's theorem.,Gödel's theorem.,Gödel's theorem.,Logic, Symbolic and mathematical.
رده :
QA9
.
65
.
G63
1989
23. Godel's theorem in focus
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
G63
1988
24. Godel's theorem in focus
پدیدآورنده : edited by S.G. Shanker
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
G6
1988
25. Godel's theorem in focus
پدیدآورنده : edited by S. G. Shanker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
G638
26. Godel's theorem simplified /
پدیدآورنده : Harry J. Gensler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel's theorem.,Gödel, Théorème de.,Gödel's theorem.,Gödelscher Unvollständigkeitssatz,Gödelscher Unvollständigkeitssatz.
رده :
QA9
.
65
.
G46
1984
27. Gödel's way :
پدیدآورنده : Gregory Chaitin, Newton C.A. da Costa & Francisco A. Doria
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel's theorem
رده :
QA9
.
65
.
C428
2012
28. Impossibility
پدیدآورنده : / John D. Barrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
29. Impossibility
پدیدآورنده : / John D. Barrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
30. Impossibility
پدیدآورنده : / John D. Barrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
31. Impossibility
پدیدآورنده : / John D. Barrow
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Science- Philosophy,Limit (Logic),Godel's theorem
رده :
Q175
.
B2245
1998
32. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Godel's theorem-- Congresses,، Computational complexity-- Congresses,، Turing machines
رده :
QA
9
.
65
.
K65
33. Komplexitat von Entscheidungsproblemen : ein Seminar
پدیدآورنده : editors Ernst Specker, Volker Strassen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L4
v
.
43
34. Komplexitat von Entscheidungsproblemen : ein seminar
پدیدآورنده : edited by Ernst Specker, Volker Strassen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Godel's theorem,Congresses ، Computational complexity,، Turing machines
رده :
QA
76
.
L28
Vol
.
43
35. Kurt Gödel and the foundations of mathematics :
پدیدآورنده : edited by Matthias Baaz ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Mathematics-- Philosophy
رده :
QA9
.
65
.
K87
2011
36. Kurt Godel and the foundations of mathematics : horizons of truth
پدیدآورنده : edited by Matthias Baaz ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem,Philosophy ، Mathematics,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
65
.
K87
37. Les theoremes d'incompletude de Godel
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
38. Mechanism, mentalism, and metamathematics :an essay on finitism
پدیدآورنده : Webb, Judson Chambers
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Metamathematics,، Incompleteness theorems,، Godel's theorem
رده :
QA
9
.
8
.
W4
C1980
39. Metamathematics, machines, and Gödel's proof /
پدیدآورنده : N. Shankar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving.,Gödel's theorem-- Data processing.,Automatic theorem proving.,Gödel's theorem-- Data processing.,Gödelscher Unvollständigkeitssatz.,Metamathematik.
رده :
QA9
.
65
.
S53
1997
40. Metamathematics, machines, and Godel's proof
پدیدآورنده : Shankar, Natarajan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing ، Godel's theorem,، Automatic theorem proving
رده :
QA
9
.
65
.
S49
